home *** CD-ROM | disk | FTP | other *** search
/ Tech Arsenal 1 / Tech Arsenal (Arsenal Computer).ISO / tek-04 / aie8911.zip / DOSPECS.INI < prev    next >
Text File  |  1989-08-27  |  870b  |  35 lines
  1.  
  2.  
  3.  
  4.  
  5. rrconsult(X) :-
  6.     write($reconsulting $),
  7.     write(X),
  8.     write($...$),
  9.     reconsult(X),
  10.     write($reconsulted!$),
  11.     nl,
  12.     !.
  13. rrconsult(_) :-
  14.     write($COULD NOT BE RECONSULTED.$),
  15.     nl.
  16.  
  17. :-  nl, write( 'Loading Prolog.INI  updated 13 May 89 ' ), nl, nl.
  18.  
  19. :-  version.  /*  Check Version of API  */
  20.  
  21.  
  22. :- rrconsult(  $C:\work\specs\LIB.ARI$      ).
  23. :- rrconsult(  $C:\work\specs\arity5.ARI$    ).
  24. :- rrconsult(  $C:\work\specs\newTRACE.ARI$    ).
  25. :- rrconsult(  $C:\work\specs\SPECS.ARI$    ).
  26. :- rrconsult(  $C:\work\specs\BACK.ARI$     ).
  27. :- rrconsult(  $C:\work\specs\STUBS.ARI$    ).
  28. :- rrconsult(  $C:\work\specs\FRAME.ARI$    ).
  29. :- rrconsult(  $C:\work\specs\FILEMOD.ARI$  ).
  30. :- rrconsult(  $C:\work\specs\NEXT_TOK.ARI$ ).
  31. :- rrconsult(  $C:\work\specs\CON_HELP.ARI$ ).
  32. :- rrconsult( v3).
  33. :- rrconsult( test ) .
  34.  
  35.